B. G. Woodcock (auth.): buscar en el sitio web de Z-Library

Libre acceso a los conocimientos y la cultura.

Don't use scam websites

Libros (48)
Más populares
Lista
- Lista
- Tabla

1

Bulk Solids Handling: An Introduction to the Practice and Technology

Bulk Solids Handling: An Introduction to the Practice and Technology

C. R. Woodcock DipTech, MSc, PhD, CEng, MIMechE (auth.), C. R. Woodcock DipTech, MSc, PhD, CEng, MIMechE, J. S. Mason BSc, PhD, CEng, FIMechE, FIMarE, MIMinE (eds.)

Año:

1987

Idioma:

english

Archivo:

PDF, 11.14 MB

0 / 0

english, 1987

2

Advances in Molten Salt Chemistry: Volume 3

Advances in Molten Salt Chemistry: Volume 3

L. V. Woodcock (auth.), J. Braunstein, Gleb Mamantov, G. P. Smith (eds.)

Año:

1975

Idioma:

english

Archivo:

PDF, 12.84 MB

0 / 0

english, 1975

3

20th-Century Fiction

20th-Century Fiction

Palgrave Macmillan UK

George Woodcock (auth.)

Año:

1983

Idioma:

english

Archivo:

PDF, 80.39 MB

0 / 0

english, 1983

4

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alan Burns, Andy Wellings (auth.), Chris W. George, Zhiming Liu, Jim Woodcock (eds.)

Año:

2007

Idioma:

english

Archivo:

PDF, 1.86 MB

0 / 0

english, 2007

5

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Ian J. Hayes (auth.), Jin Song Dong, Jim Woodcock (eds.)

Año:

2003

Idioma:

english

Archivo:

PDF, 5.79 MB

0 / 0

english, 2003

6

Theory and Practice of Blood Flow Measurement

Theory and Practice of Blood Flow Measurement

Butterworth-Heinemann

John P. Woodcock (Auth.)

Año:

1975

Idioma:

english

Archivo:

PDF, 6.16 MB

0 / 0

english, 1975

7

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

Springer-Verlag Berlin Heidelberg

Pascal Poizat, Christine Choppy, Jean-Claude Royer (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Año:

1999

Idioma:

english

Archivo:

PDF, 11.33 MB

0 / 0

english, 1999

8

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Año:

2007

Idioma:

english

Archivo:

PDF, 5.37 MB

0 / 0

english, 2007

9

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Año:

2007

Idioma:

english

Archivo:

PDF, 4.29 MB

0 / 0

english, 2007

10

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Rod Burstall (auth.), R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.)

Año:

1993

Idioma:

english

Archivo:

DJVU, 2.44 MB

0 / 0

english, 1993

11

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Año:

2013

Idioma:

english

Archivo:

PDF, 5.30 MB

0 / 0

english, 2013

12

FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings

FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

C. B. Jones (auth.), James C. P. Woodcock, Peter G. Larsen (eds.)

Año:

1993

Idioma:

english

Archivo:

DJVU, 6.15 MB

0 / 0

english, 1993

13

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Año:

2013

Idioma:

english

Archivo:

PDF, 5.32 MB

0 / 0

english, 2013

14

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.)

Año:

2010

Idioma:

english

Archivo:

PDF, 4.56 MB

0 / 0

english, 2010

15

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Año:

2007

Idioma:

english

Archivo:

PDF, 6.60 MB

0 / 0

english, 2007

16

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Año:

2007

Idioma:

english

Archivo:

PDF, 7.82 MB

0 / 0

english, 2007

17

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Nicolas Blanc, Daniel Kroening (auth.), Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.)

Año:

2009

Idioma:

english

Archivo:

PDF, 3.55 MB

0 / 5.0

english, 2009

18

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Año:

1999

Idioma:

english

Archivo:

PDF, 14.06 MB

0 / 0

english, 1999

19

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Rod Burstall (auth.), R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.)

Año:

1993

Idioma:

english

Archivo:

PDF, 15.34 MB

0 / 0

english, 1993

20

Nitrate und Nitrattoleranz in der Behandlung der koronaren Herzerkrankung

Nitrate und Nitrattoleranz in der Behandlung der koronaren Herzerkrankung

Steinkopff-Verlag Heidelberg

Prof. Dr. N. Rietbrock, A. Lassmann, B. G. Woodcock (auth.), Prof. Dr. med. G. Kober, Prof. Dr. med. M. Kaltenbach (eds.)

Año:

1983

Idioma:

german

Archivo:

PDF, 6.08 MB

0 / 0

german, 1983

21

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Nicolas Blanc, Daniel Kroening (auth.), Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.)

Año:

2009

Idioma:

english

Archivo:

PDF, 7.15 MB

0 / 0

english, 2009

22

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.)

Año:

2010

Idioma:

english

Archivo:

PDF, 4.63 MB

0 / 0

english, 2010

23

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.)

Año:

2010

Idioma:

english

Archivo:

PDF, 5.03 MB

0 / 0

english, 2010

24

Bulk Solids Handling: An Introduction to the Practice and Technology

Bulk Solids Handling: An Introduction to the Practice and Technology

Springer Netherlands

C. R. Woodcock DipTech, MSc, PhD, CEng, MIMechE, J. S. Mason BSc, PhD, CEng, FIMechE, FIMarE, MIMinE (auth.)

Año:

1988

Idioma:

english

Archivo:

PDF, 14.89 MB

0 / 0

english, 1988

25

Complex Systems Design & Management: Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013

Complex Systems Design & Management: Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013

Springer International Publishing

John Fitzgerald, Peter Gorm Larsen, Jim Woodcock (auth.), Marc Aiguier, Frédéric Boulanger, Daniel Krob, Clotilde Marchal (eds.)

Año:

2014

Idioma:

english

Archivo:

PDF, 9.09 MB

0 / 0

english, 2014

26

A Geometrical Study of the Elementary Catastrophes

A Geometrical Study of the Elementary Catastrophes

Springer-Verlag Berlin Heidelberg

A. E. R. Woodcock, T. Poston (auth.)

Año:

1974

Idioma:

english

Archivo:

DJVU, 4.77 MB

0 / 0

english, 1974

27

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Año:

2013

Idioma:

english

Archivo:

PDF, 3.01 MB

0 / 0

english, 2013

28

Drug Absorption at Different Regions of the Human Gastro-Intestinal Tract: Methods of Investigation and Results / Arzneimittelabsorption aus verschiedenen Bereichen des Gastrointestinaltraktes beim Menschen: Untersuchungsmethoden und Ergebnisse: Proceedin

Drug Absorption at Different Regions of the Human Gastro-Intestinal Tract: Methods of Investigation and Results / Arzneimittelabsorption aus verschiedenen Bereichen des Gastrointestinaltraktes beim Menschen: Untersuchungsmethoden und Ergebnisse: Proceedin

Vieweg+Teubner Verlag

N. Rietbrock (auth.), Norbert Rietbrock, Barry G. Woodcock, A. Horst Staib, Dieter Loew (eds.)

Año:

1987

Idioma:

english

Archivo:

PDF, 2.44 MB

0 / 0

english, 1987

29

Collaborative Design: Proceedings of CoDesigning 2000

Collaborative Design: Proceedings of CoDesigning 2000

Springer-Verlag London

E. B.-N. Sanders (auth.), Stephen A. R. Scrivener DipAD, HDFA, PhD, Linden J. Ball BSc, PhD, Andrée Woodcock BSc, MSc (eds.)

Año:

2000

Idioma:

english

Archivo:

PDF, 26.59 MB

0 / 0

english, 2000

30

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Año:

2013

Idioma:

english

Archivo:

PDF, 5.34 MB

0 / 0

english, 2013

31

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Año:

1999

Idioma:

english

Archivo:

PDF, 10.75 MB

0 / 0

english, 1999

32

FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings

FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Marie-Claude Gaudel, James Woodcock (eds.)

Año:

1996

Idioma:

english

Archivo:

DJVU, 6.04 MB

0 / 0

english, 1996

33

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Springer-Verlag Berlin Heidelberg

Tony Hoare, Jay Misra (auth.), Bertrand Meyer, Jim Woodcock (eds.)

Año:

2008

Idioma:

english

Archivo:

PDF, 7.65 MB

0 / 0

english, 2008

34

A Geometrical Study of the Elementary Catastrophes

A Geometrical Study of the Elementary Catastrophes

Springer-Verlag Berlin Heidelberg

A. E. R. Woodcock, T. Poston (auth.)

Año:

1974

Idioma:

english

Archivo:

PDF, 10.80 MB

0 / 0

english, 1974

35

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures

Springer-Verlag Berlin Heidelberg

Ana Cavalcanti, Augusto Sampaio (auth.), Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (eds.)

Año:

2006

Idioma:

english

Archivo:

PDF, 3.00 MB

0 / 0

english, 2006

36

Nitrates and Nitrate Tolerance in Angina Pectoris

Nitrates and Nitrate Tolerance in Angina Pectoris

Steinkopff-Verlag Heidelberg

Dr. N. Rietbrock, A. Lassmann, B. G. Woodcock (auth.), Prof. Dr. med. M. Kaltenbach, Prof. Dr. med. G. Kober (eds.)

Año:

1983

Idioma:

english

Archivo:

PDF, 4.13 MB

0 / 0

english, 1983

37

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Año:

2013

Idioma:

english

Archivo:

PDF, 4.73 MB

0 / 0

english, 2013

38

Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990

Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990

Springer-Verlag London

P. H. B. Gardiner, P. J. Lupton, J. C. P. Woodcock (auth.), J. E. Nicholls MA (eds.)

Año:

1991

Idioma:

english

Archivo:

PDF, 13.00 MB

0 / 0

english, 1991

39

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Springer-Verlag Berlin Heidelberg

Tony Hoare, Jay Misra (auth.), Bertrand Meyer, Jim Woodcock (eds.)

Año:

2008

Idioma:

english

Archivo:

PDF, 3.09 MB

0 / 0

english, 2008

40

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

Springer-Verlag Berlin Heidelberg

Pascal Poizat, Christine Choppy, Jean-Claude Royer (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Año:

1999

Idioma:

english

Archivo:

PDF, 16.87 MB

0 / 0

english, 1999

41

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Jim Woodcock, Victor Bandur (auth.), Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.)

Año:

2013

Idioma:

english

Archivo:

PDF, 2.19 MB

0 / 0

english, 2013

42

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

John C. Reynolds (auth.), Natarajan Shankar, Jim Woodcock (eds.)

Año:

2008

Idioma:

english

Archivo:

PDF, 3.67 MB

0 / 0

english, 2008

43

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Año:

2007

Idioma:

english

Archivo:

PDF, 6.33 MB

0 / 0

english, 2007

44

Clinical Pharmacology in the Aged / Klinische Pharmakologie im Alter: Proceedings of the 6th International Symposium on Methods in Clinical Pharmacology, Frankfurt 1985 / Vorträge des 6. Internationalen Symposiums „Methods in Clinical Pharmacology“ Frankf

Clinical Pharmacology in the Aged / Klinische Pharmakologie im Alter: Proceedings of the 6th International Symposium on Methods in Clinical Pharmacology, Frankfurt 1985 / Vorträge des 6. Internationalen Symposiums „Methods in Clinical Pharmacology“ Frankf

Vieweg+Teubner Verlag

Norbert Rietbrock, Barry G. Woodcock (auth.), Norbert Rietbrock, Barry G. Woodcock (eds.)

Año:

1987

Idioma:

german

Archivo:

PDF, 4.82 MB

0 / 0

german, 1987

45

Methods in Clinical Pharmacology: The proceedings of an International Symposium held in Frankfurt/M. 6–8 May 79

Methods in Clinical Pharmacology: The proceedings of an International Symposium held in Frankfurt/M. 6–8 May 79

Vieweg+Teubner Verlag

J. K. Aronson (auth.), Norbert Rietbrock, Barry G. Woodcock, Günter Neuhaus (eds.)

Año:

1980

Idioma:

german

Archivo:

PDF, 9.43 MB

0 / 0

german, 1980

46

A Geometrical Study of the Elementary Catastrophes

A Geometrical Study of the Elementary Catastrophes

Springer-Verlag Berlin Heidelberg

A. E. R. Woodcock, T. Poston (auth.)

Año:

1974

Idioma:

english

Archivo:

PDF, 5.74 MB

0 / 0

english, 1974

47

Theophylline and other Methylxanthines / Theophyllin und andere Methylxanthine: Proceedings of the 4th International Symposium, Frankfurt/M., 29th and 30th May, 1981 / Vorträge des 4. Internationalen Symposiums, Frankfurt/M., 29. und 30. Mai, 1981

Theophylline and other Methylxanthines / Theophyllin und andere Methylxanthine: Proceedings of the 4th International Symposium, Frankfurt/M., 29th and 30th May, 1981 / Vorträge des 4. Internationalen Symposiums, Frankfurt/M., 29. und 30. Mai, 1981

Vieweg+Teubner Verlag

N. Rietbrock, E. Habermann (auth.), Professor Dr. med. Norbert Rietbrock, Dr. Sen. Lect. Barry George Woodcock, Professor Dr. sc. med. A. Horst Staib (eds.)

Año:

1982

Idioma:

german

Archivo:

PDF, 8.94 MB

0 / 0

german, 1982

48

Balanced Alpha/Beta Blockade of Adrenoceptors / Balancierte Blockade von Alpha- und Beta-Adrenozeptoren: A rational therapeutic concept in the treatment of hypertension and coronary heart disease / Ein rationales Konzept zur Behandlung der Hypertonie und

Balanced Alpha/Beta Blockade of Adrenoceptors / Balancierte Blockade von Alpha- und Beta-Adrenozeptoren: A rational therapeutic concept in the treatment of hypertension and coronary heart disease / Ein rationales Konzept zur Behandlung der Hypertonie und

Vieweg+Teubner Verlag

D. Palm (auth.), Norbert Rietbrock, Barry G. Woodcock (eds.)

Año:

1984

Idioma:

english

Archivo:

PDF, 5.94 MB

0 / 0

english, 1984